Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
601	Information-Flow Security for a Core of JavaScript Daniel Hedin Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Tracking information flow in dynamic languages Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-04-18 03:59:07 Model theory Structure Universal algebra JavaScript String Monad Enclosed alphanumerics Software engineering Computing Computer programming
602	Asset Pricing when ’This Time is Di¤erent’ Pierre Collin-Dufresne, Michael Johannes and Lars A. Lochstoer University of Lausanne and Columbia Business School May[removed]Abstract Add to Reading List Source URL: chicagofed.org Language: English - Date: 2014-05-19 09:28:34 Mathematical finance Game theory Financial economics Epstein-Zin preferences Economic model General equilibrium theory Overlapping generations model Macroeconomic model Heterogeneity in economics Economics Microeconomics Consumer theory
603	Sample Extended Abstract Format Add to Reading List Source URL: wcrp.ipsl.jussieu.fr Language: English - Date: 2011-03-16 10:15:25 Computational science Control theory Data assimilation Estimation theory Statistical forecasting Ocean reanalysis Global climate model Geophysical Fluid Dynamics Laboratory Atmospheric sciences Climatology Meteorology
604	Examining testlet effects on the PIRLS 2006 assessment Yuwen Chang, National Taipei University of Education, [removed] Jennwu Wang, Fo-Guang University, [removed] Abstract We fit 10 PIRLS testlets w Add to Reading List Source URL: www.iea.nl Language: English - Date: 2011-08-10 09:26:31 Evaluation Item response theory Parameter Computerized adaptive testing Expectation–maximization algorithm Polytomous Rasch model Psychometrics Statistics Education
605	Canonical normalization of weighted characters and a transfer conjecture James Arthur* §1. Add to Reading List Source URL: www2.maths.ox.ac.uk Language: English - Date: 2013-12-01 07:09:03 Representation theory Differential topology Littelmann path model Symbol Abstract algebra Automorphic forms Arthur–Selberg trace formula
606	Data Provenance: Some Basic Issues Peter Buneman, Sanjeev Khanna and Wang-Chiew Tan University of Pennsylvania Abstract. The ease with which one can copy and transform data on the Web, has made it increasingly dicult to Add to Reading List Source URL: db.cis.upenn.edu Language: English - Date: 2006-10-05 10:03:20 Database management systems Relational model Database theory Query languages Markup languages Relational database Database Relation Provenance Computing Data management Data
607	In Math. Struct. in Comp. Science, 13:4, [removed], August[removed]Transition and Cancellation in Concurrency and Branching Time Vaughan R. Pratt Stanford University Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-11-01 13:39:49 Mathematics Category theory Formal languages Theoretical computer science Concurrency Petri net Actor model Monoid Parallel computing Automata theory Abstract algebra Models of computation
608	Degrees of Freedom and Model Search Ryan J. Tibshirani Abstract Degrees of freedom is a fundamental concept in statistical modeling, as it provides a quantitative description of the amount of fitting performed by a given Add to Reading List Source URL: www.stat.cmu.edu Language: English - Date: 2014-03-07 00:37:49 Least squares Probability theory Econometrics Normal distribution Degrees of freedom Ordinary least squares Independence Support Model theory Statistics Regression analysis Statistical dependence
609	Hierarchical Modeling with Large‐Scale Assessment Data: Influence of Intra-Class Correlation on Sampling Precision Sabine Meinck 1 and Caroline Vandenplas 2 Abstract Most data collected in educational large scale asses Add to Reading List Source URL: www.iea.nl Language: English - Date: 2013-07-16 09:56:37 Analysis of variance Statistical models Estimation theory Estimator Statistical parameter Sample size determination Sampling Cluster sampling Multilevel model Statistics Statistical inference Market research
610	The Care and Feeding of Innovative Items The Care and Feeding of Innovative Items Kirk A. Becker Pearson VUE Abstract While many of the item types referred to as “innovative items” have been available and in use Add to Reading List Source URL: www.pearsonvue.co.uk Language: English - Date: 2010-05-07 04:42:35 Statistics Item response theory Multiple choice Polytomous Rasch model Scale Item bank Test Graduate Record Examinations Psychometric software Psychometrics Education Evaluation

UPDATE